Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
881	Automated Game-theoretic Verification for Probabilistic Systems   Dave Parker  University of Birmingham Imperial College London, December 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-12-13 17:18:55 Model checkers Mathematical logic Formal languages PRISM model checker Model checking Markov chain Stochastic Well-formed formula Linear temporal logic Logic Statistics Mathematics
882	Streaming Models of Computation in The Ptolemy Project Edward A. Lee Professor UC Berkeley Workshop on Streaming Systems, Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2003-09-03 14:12:53 Formal methods Hardware description languages Synchronous programming languages Computer architecture Dataflow Ptolemy Project Kahn process networks SIGNAL Parallel computing Computing Software engineering Models of computation
883	Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties Alberto Puggelli Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-08-15 20:02:20 Applied mathematics Theoretical computer science Markov models Operations research Dynamic programming Markov decision process Model checking Mathematical optimization Markov chain Statistics Markov processes Mathematics
884	A Comprehensive Guide for Proposers to the EU Environmental Technologies Verification Pilot Programme AdvanceETV Add to Reading List Source URL: www.etv-denmark.com Language: English - Date: 2012-09-13 06:11:07 Formal methods Logic in computer science Science Validation Applied mathematics Verification and validation Formal verification Verification Technology Pharmaceutical industry Validity Systems engineering
885	Big data, bigger dilemmas: A critical review Hamid Ekbia1, Michael Mattioli2, Inna Kouper1,3, G. Arave1, Ali Ghazinejad1, Timothy Bowman1, Venkata Ratandeep Suri1, Andrew Tsou1, Scott Weingart1, and Cassidy R. Sugimoto1 Add to Reading List Source URL: ella.slis.indiana.edu Language: English* - Date: 2014-11-17 23:49:16 Database management systems Database theory Science studies Emerging technologies Formal sciences Big data Philosophy of science Geographic information system Data model Science Information Ethology
886	VIVO - Data Mapping Research Systems Upgrade Document Identification File name: Add to Reading List Source URL: blogs.unimelb.edu.au Language: English - Date: 2012-03-21 18:58:49 Data Science Ontology URI schemes Uniform resource identifier Resource Geopolitical ontology Formal ontology Canton of Uri Semantic Web Information Knowledge representation
887	Focus Group: Big Data Analytics for Smart Manufacturing Systems Report by Sudarsan Rachuri [removed] Add to Reading List Source URL: www.nist.gov Language: English - Date: 2014-03-12 18:07:12 Data management Formal sciences Data analysis Insurance Predictive analytics Data visualization Communications protocol Big data Analytics Business intelligence Science Technology
888	City of Carlsbad Bidding Process and Instructions to Bidder’s The City of Carlsbad when required to do so, by state and local statute, will accept formal Bid’s and Proposal’s on certain project’s and purchases of Add to Reading List Source URL: www.cityofcarlsbadnm.com Language: English - Date: 2011-10-04 15:45:42 Operations research Procurement Purchasing Supply chain management Systems engineering Carlsbad California Carlsbad New Mexico Business Technology Manufacturing
889	LGISC-RC[removed]LOUISIANA GEOGRAPHIC INFORMATION SYSTEMS COUNCIL c/o Louisiana Geographic Information Center ♦ E302 Howe-Russell ♦ LSU ♦ Baton Rouge, Louisiana[removed]Procedure for Formal Recognition of Digit Add to Reading List Source URL: lagic.lsu.edu Language: English - Date: 2001-11-27 11:29:54 Cartography Metadata Geodesy Geospatial metadata Science Geographic information systems Federal Geographic Data Committee Geospatial analysis Pennsylvania Spatial Data Access Information Data Data management
890	24.7 Horizons Nurse.indd NS EL.indd NEW.indd Add to Reading List Source URL: www.winlab.rutgers.edu Language: English - Date: 2008-08-14 23:33:05 Formal sciences Molecular biology Cell biology Interdisciplinary fields Cell signaling Developmental biology Digital electronics Organism Evolution Biology Science Systems biology

UPDATE